Violating the Singular Cardinals Hypothesis Without Large Cardinals
نویسنده
چکیده
Easton proved that the behavior of the exponential function 2 at regular cardinals κ is independent of the axioms of set theory except for some simple classical laws. The Singular Cardinals Hypothesis SCH implies that the Generalized Continuum Hypothesis GCH 2 = κ holds at a singular cardinal κ if GCH holds below κ. Gitik and Mitchell have determined the consistency strength of the negation of the Singular Cardinals Hypothesis in Zermelo Fraenkel set theory with the axiom of choice AC in terms of large cardinals.
منابع مشابه
An Iteration Model violating the Singular Cardinals Hypothesis
Models of Set Theory showing exotic behaviour at singular cardinals are usually constructed via forcing. The archetypical method is Prikry-Forcing [Pr1970], which has been generalized in various ways, as for example by Gitik and Magidor [GiMa1992]. It was observed early that Prikry generic sequences can be obtained as successive critical points in an iteration of the universe V by a normal ultr...
متن کاملViolating the Singular Cardinals Hypothesis Without
We extend a transitive model V of ZFC +GCH cardinal preservingly to a model N of ZF + “GCH holds below אω” + “there is a surjection from the power set of אω onto λ” where λ is an arbitrarily high fixed cardinal in V . The construction can roughly be described as follows: add אn+1 many Cohen subsets of אn+1 for every n < ω , and adjoin λ many subsets of אω which are unions of ω-sequences of thos...
متن کاملUltrafilters and Large Cardinals
This paper is a survey of basic large cardinal notions, and applications of large cardinal ultrafilters in forcing. The main application presented is the consistent failure of the singular cardinals hypothesis. Other applications are mentioned that involve variants of Prikry forcing, over models of choice and models of determinacy. My talk at the Ultramath conference was about ultrafilters and ...
متن کاملAronszajn Trees and Failure of the Singular Cardinal Hypothesis
The tree property at κ states that there are no Aronszajn trees on κ, or, equivalently, that every κ tree has a cofinal branch. For singular strong limit cardinals κ, there is tension between the tree property at κ and failure of the singular cardinal hypothesis at κ; the former is typically the result of the presence of strongly compact cardinals in the background, and the latter is impossible...
متن کاملReview on Todd Eisworth’s Chapter for the Handbook of Set Theory: “successors of Singular Cardinals”
This chapter offers a comprehensive and lucid exposition of the questions and techniques involved in the study of combinatorics of successors of singular cardinals. What is so special about successors of singular cardinals? They are successor cardinals, but are also similar to inaccessible cardinals, in the sense that there is no maximal regular cardinal below them, meaning for instance that th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010